char TX_pkt_rf(char *dato);
char RX_pkt_rf(char *dato);
void Set_up_pkt(char chanel);
extern char irq_flag;